Micron Document
____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|


The NomadNet German Wikipedia | Archives | Info
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b

πŸ” Search

Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―

Tschebyschow-Funktion
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
top
Die Tschebyschow-Funktion, etwa im Englischen auch Chebyshev function oder Γ€hnlich bezeichnet, ist eine von zwei zahlentheoretischen Funktionen, die nach dem russischen Mathematiker Pafnuti Lwowitsch Tschebyschow benannt sind. Sie erhalten Bedeutung durch ihren Zusammenhang mit der PrimzahlzΓ€hlfunktion und dem Primzahlsatz und damit der Riemannschen Zeta-Funktion.

Die erste Tschebyschow-Funktion, ΓΌblicherweise mit ΞΈ ΞΈ {\displaystyle \theta \,} oder Ο‘ Ο‘ {\displaystyle \vartheta } bezeichnet, ist die Summe der Logarithmen der Primzahlen bis x {\displaystyle x} :

Ο‘ Ο‘ ( x ) = βˆ‘ βˆ‘ p ≀ ≀ x p prim log ⁑ ⁑ ( p ) {\displaystyle \vartheta (x)=\sum _{p\leq x \atop p{\text{ prim}}}\operatorname {log} (p)}

Die zweite Tschebyschow-Funktion ψ ψ ( x ) {\displaystyle \psi (x)} ist die summierte Funktion der Mangoldt-Funktion:

ψ ψ ( x ) = βˆ‘ βˆ‘ n = 1 x Ξ› Ξ› ( n ) = βˆ‘ βˆ‘ p k ≀ ≀ x log ⁑ ⁑ ( p ) {\displaystyle \psi (x)=\sum _{n=1}^{x}\Lambda (n)=\sum _{p^{k}\leq x}\operatorname {log} (p)}

wobei die Mangoldt-Funktion Ξ› Ξ› {\displaystyle \Lambda } definiert ist als

Ξ› Ξ› ( n ) = { log ⁑ ⁑ ( p ) falls n sich als n = p k darstellen lΓ€sst, wobei p prim, k ∈ ∈ N + 0 sonst {\displaystyle \Lambda (n)={\begin{cases}\log(p)&{\text{falls }}n{\text{ sich als }}n=p^{k}{\text{ darstellen lΓ€sst, wobei }}p{\text{ prim, }}k\in \mathbb {N} ^{+}\\0&{\text{sonst}}\end{cases}}}

Contents

β€’ Asymptotik
β€’ Referenzen
β€’ Weblinks

──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────

Grundlegende Eigenschaften

Erstere Tschebyschow-Funktion lΓ€sst sich auch darstellen als

Ο‘ Ο‘ ( x ) = log ⁑ ⁑ ( x # # ) , {\displaystyle \vartheta (x)=\log(x_{\#}),}

wobei x # # {\displaystyle x_{\#}} die PrimfakultΓ€t bezeichnet.

Die zweite lΓ€sst sich auch schreiben als der Logarithmus des kleinsten gemeinsamen Vielfachen von 1 bis n {\displaystyle n} :

ψ ψ ( x ) = log ⁑ ⁑ ( kgV ⁑ ⁑ ( 1 , 2 , 3 , … … , ⌊ ⌊ x βŒ‹ βŒ‹ ) ) {\displaystyle \psi (x)=\operatorname {log} (\operatorname {kgV} (1,2,3,\ldots ,\lfloor x\rfloor ))}

Nach Erhard Schmidt gibt es fΓΌr jedes positive reelle k {\displaystyle k} Werte fΓΌr x {\displaystyle x} , sodass

ψ ψ ( x ) βˆ’ βˆ’ x < βˆ’ βˆ’ k x {\displaystyle \psi (x)-x<-k{\sqrt {x}}}

und

ψ ψ ( x ) βˆ’ βˆ’ x > k x {\displaystyle \psi (x)-x>k{\sqrt {x}}}

unendlich oft.

Asymptotik

Es gilt

lim x β†’ β†’ ∞ ∞ x Ο‘ Ο‘ ( x ) = 1 , {\displaystyle \lim _{x\to \infty }{\frac {x}{\vartheta (x)}}=1,}

d. h.

Ο‘ Ο‘ ( n ) ∼ ∼ n . {\displaystyle \vartheta (n)\sim n.}

Ebenso gilt

ψ ψ ( n ) ∼ ∼ n . {\displaystyle \psi (n)\sim n.\,}

Pierre Dusart fand eine Reihe von Schranken fΓΌr die beiden Funktionen:cite-ref-1[1]

Ο‘ Ο‘ ( p k ) β‰₯ β‰₯ k ( ln ⁑ ⁑ k + ln ⁑ ⁑ ln ⁑ ⁑ k βˆ’ βˆ’ 1 + ln ⁑ ⁑ ln ⁑ ⁑ k βˆ’ βˆ’ 2,055 3 ln ⁑ ⁑ k ) , k β‰₯ β‰₯ exp ⁑ ⁑ ( 22 ) {\displaystyle \vartheta (p_{k})\geq k\left(\ln k+\ln \ln k-1+{\frac {\ln \ln k-2{,}0553}{\ln k}}\right),\qquad k\geq \exp(22)}

Ο‘ Ο‘ ( p k ) ≀ ≀ k ( ln ⁑ ⁑ k + ln ⁑ ⁑ ln ⁑ ⁑ k βˆ’ βˆ’ 1 + ln ⁑ ⁑ ln ⁑ ⁑ k βˆ’ βˆ’ 2 ln ⁑ ⁑ k ) , k β‰₯ β‰₯ 198 {\displaystyle \vartheta (p_{k})\leq k\left(\ln k+\ln \ln k-1+{\frac {\ln \ln k-2}{\ln k}}\right),\qquad k\geq 198}

ψ ψ ( p k ) ≀ ≀ k ( ln ⁑ ⁑ k + ln ⁑ ⁑ ln ⁑ ⁑ k βˆ’ βˆ’ 1 + ln ⁑ ⁑ ln ⁑ ⁑ k βˆ’ βˆ’ 2 ln ⁑ ⁑ k ) + 1 , 43 x , k β‰₯ β‰₯ 198 {\displaystyle \psi (p_{k})\leq k\left(\ln k+\ln \ln k-1+{\frac {\ln \ln k-2}{\ln k}}\right)+1{,}43{\sqrt {x}},\qquad k\geq 198}

| Ο‘ Ο‘ ( x ) βˆ’ βˆ’ x | ≀ ≀ 0,006 788 x ln ⁑ ⁑ x , x β‰₯ β‰₯ 10 . 544 . 111 {\displaystyle |\vartheta (x)-x|\leq 0{,}006788\,{\frac {x}{\ln x}},\qquad x\geq 10{.}544{.}111}

| ψ ψ ( x ) βˆ’ βˆ’ x | ≀ ≀ 0,006 409 x ln ⁑ ⁑ x , x β‰₯ β‰₯ exp ⁑ ⁑ ( 22 ) {\displaystyle |\psi (x)-x|\leq 0{,}006409\,{\frac {x}{\ln x}},\qquad x\geq \exp(22)}

ψ ψ ( x ) βˆ’ βˆ’ Ο‘ Ο‘ ( x ) < 0,000 0132 x ln ⁑ ⁑ x , x β‰₯ β‰₯ exp ⁑ ⁑ ( 30 ) . {\displaystyle \psi (x)-\vartheta (x)<0{,}0000132\,{\frac {x}{\ln x}},\qquad x\geq \exp(30).}

Verwandtschaft der beiden Funktionen

Es gilt

ψ ψ ( x ) = βˆ‘ βˆ‘ p ≀ ≀ x k log ⁑ ⁑ p {\displaystyle \psi (x)=\sum _{p\leq x}k\log p}

wobei k {\displaystyle k} ganz und dann durch p k ≀ ≀ x {\displaystyle p^{k}\leq x} und p k + 1 β‰₯ β‰₯ x {\displaystyle p^{k+1}\geq x} eindeutig bestimmt ist.

Ein direkterer Zusammenhang entsteht durch

ψ ψ ( x ) = βˆ‘ βˆ‘ n = 1 ∞ ∞ Ο‘ Ο‘ ( x 1 n ) = βˆ‘ βˆ‘ n = 1 ⌊ ⌊ log 2 ⁑ ⁑ ( x ) βŒ‹ βŒ‹ Ο‘ Ο‘ ( x 1 n ) . {\displaystyle \psi (x)=\sum _{n=1}^{\infty }\vartheta \left(x^{\frac {1}{n}}\right)=\sum _{n=1}^{\lfloor \log _{2}(x)\rfloor }\vartheta \left(x^{\frac {1}{n}}\right).}

Man bemerke, dass Ο‘ Ο‘ ( x 1 n ) = 0 {\displaystyle \vartheta \left(x^{\frac {1}{n}}\right)=0} fΓΌr n β‰₯ β‰₯ log 2 ⁑ ⁑ ( x ) . {\displaystyle n\geq \log _{2}(x).}

Die β€žexakte Formelβ€œ

1895 bewies Hans Karl Friedrich von Mangoldt folgende Formel, die im Englischen auch als β€žexplicit formulaβ€œ bezeichnet wird:cite-ref-2[2]

ψ ψ ( x ) = x βˆ’ βˆ’ βˆ‘ βˆ‘ ρ ρ x ρ ρ ρ ρ βˆ’ βˆ’ ln ⁑ ⁑ ( 2 Ο€ Ο€ ) βˆ’ βˆ’ 1 2 ln ⁑ ⁑ ( 1 βˆ’ βˆ’ x βˆ’ βˆ’ 2 ) {\displaystyle \psi (x)=x-\sum _{\rho }{\frac {x^{\rho }}{\rho }}-\ln(2\pi )-{\frac {1}{2}}\ln \left(1-x^{-2}\right)}

Dabei ist x > 1 {\displaystyle x>1} und nicht prim oder eine Primzahlpotenz und die Summe lÀuft über alle nichttrivialen Nullstellen ρ ρ {\displaystyle \rho \,} der Riemannschen Zeta-Funktion ΢ ΢ {\displaystyle \zeta } .

Referenzen

cite-note-11. ↑ Pierre Dusart: Sharper bounds for ψ, ΞΈ, Ο€, pk. In: Rapport de recherche nΒ° 1998-06, UniversitΓ© de Limoges. PDF
cite-note-22. ↑ Eric W. Weisstein: Explicit Formula. In: MathWorld (englisch).

β€’ Eric W. Weisstein: Chebyshev Function. In: MathWorld (englisch).
β€’ Mangoldt Summatory Function und Chebyshev Function auf PlanetMath
β€’ Harold Davenport, Hugh L. Montgomery: Multiplicative number theory. Springer Verlag 2000, ISBN 0-387-95097-4, ISBN 978-0-387-95097-6. Β§. 17. GBS, eingeschrΓ€nkt

Weblinks

Wikiversity: Die AbschΓ€tzungen von Tschebyschow

– Kursmaterialien